Content Owner
Abhishek Singh
Additional Responsibilities
Mentor M. Tech. (AI & DS) Program.
Educational Qualifications

Ph.D. In Progress (Dr. A.P.J Abdul Kalam Technical University Lucknow)

M.Tech , B.Tech

UGC-NET Exam Qualified in December 2018

GATE Exam Qualified four times .

Research Interest

Formal Methods, Reliability, Machine Learning, Algorithms

 

Google Scholar
https://scholar.google.com/citations?user=E9fVHoIAAAAJ&hl=en

Currently Abhishek Singh working in the Department of Computer Science & Engineering, IET Lucknow. His area of interest is Formal method verification and validation (V&V) of large machine and reliable systems .He has total 8 year of experience. He has published papers in peer reviewed journals and conferences.

Photo
ORCID iD
https://orcid.org/0009-0006-7537-8173
Interest
Formal Methods, Machine Learning, Algorithms and Reliability Analysis.